Address two problems in Fset_window_configuration (Bug#8789) and (Bug#12208).
authormartin rudalics <rudalics@gmx.at>
Mon, 27 Aug 2012 08:31:19 +0000 (10:31 +0200)
committermartin rudalics <rudalics@gmx.at>
Mon, 27 Aug 2012 08:31:19 +0000 (10:31 +0200)
commit6c7ad7d2d856592de55dc297ab043762f7e7bba0
treebdaf1730d8b0c059fe2094bee7875c8c83568bad
parent8dc7813c62c9e024f7b3a032476f86b15cb8b3d5
Address two problems in Fset_window_configuration (Bug#8789) and (Bug#12208).

* window.c (Fset_window_configuration): Record any window's old
buffer if it's replaced (see Bug#8789).  If the new current
buffer doesn't appear in the selected window, go to its old
point (Bug#12208).
src/ChangeLog
src/window.c